Noise-contrastive estimation: A new estimation principle for unnormalized statistical models Michael Gutmann Dept of Computer Science and HIIT, University of Helsinki

Source URL: proceedings.mlr.press

• Estimation theory
• Econometrics
• Statistical inference
• Estimator
• Probability distribution fitting
• M-estimators
• Maximum likelihood estimation
• Fisher information
• Gamma distribution
• Maximum spacing estimation

Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst

Source URL: icaps16.icaps-conference.org

• Artificial intelligence
• Cognitive science
• Automated planning and scheduling
• Statistical natural language processing
• Hierarchical task network
• Activity recognition
• STRIPS
• Latent Dirichlet allocation
• Intelligence
• Action selection
• Topic model
• Robot

Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club ◆ AES, der kommende Krypto Standard ◆ Das BKA und die „Internet Kriminalität“

Source URL: ds.ccc.de

PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich

Source URL: files.sri.inf.ethz.ch

• Async/await
• Control flow
• Stan
• Symposium on Principles of Programming Languages
• Phog
• Machine learning
• Futures and promises
• PL
• Probability and statistics
• Computing
• Software engineering

Chipping Away at Censorship Firewalls with User-Generated Content Sam Burnett, Nick Feamster, and Santosh Vempala School of Computer Science, Georgia Tech {sburnett, feamster, vempala}@cc.gatech.edu Abstract

Source URL: www.usenix.org

• Computing
• Internet privacy
• Software
• Technology
• Internet censorship
• Text messaging
• Email
• Internet censorship circumvention
• Freenet
• Deep packet inspection
• Steganography
• SMS

Capacity Planning in a General Supply Chain with Multiple Contract Types by Xin Huang Submitted to the Department of Electrical Engineering and Computer

Source URL: web.mit.edu

• Mathematics
• Computational complexity theory
• Applied mathematics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Mathematical optimization
• Linear programming
• Shortest path problem
• Ant colony optimization algorithms
• Genetic algorithm

Electrical & Computer EngineeringM.S. Catalog/Handbook ECE Office of Graduate Affairs This document is for the internal use of the Department of Electrical and Computer Engineering

Source URL: www.ece.cmu.edu

• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Information Networking Institute
• Carnegie Mellon School of Computer Science

Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Mathematical logic
• School of Computer Science
• University of Manchester
• Mathematics
• Logic in computer science
• Automated theorem proving
• Formal verification
• SPASS
• Andrei Voronkov
• Vampire
• First-order logic

COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 2) Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Cryptography
• Computational complexity theory
• Complexity classes
• NP-complete problems
• NP
• IP
• Proof of secure erasure
• Certificate
• Circuit satisfiability problem
• Commitment scheme
• Witness
• Proof of knowledge

London July, 19th 2013 CloudSME project brings SMEs closer to cloud computing Computer simulation can significantly improve the competitive position of manufacturing and engineering companies by helping to achieve effici

Source URL: www.cloudbroker.com

• Cloud computing
• Computing
• Cloud infrastructure
• Software
• Computational science
• Scientific modeling
• Virtual reality
• Simulation software
• Software as a service
• Simulation
• Computer simulation
• Business process management